cd56ca567d484c92dedbef4ec12bd07fc97f6681,workbench/source/jetbrains/mps/plugins/PluginReloader.java,PluginReloader,disposeComponent,#,105

Before Change



  public void disposeComponent() {
    myClassLoaderManager.removeReloadHandler(myReloadListener);
    myMakeService.removeListener(myMakeListener);
  }

  private class MyReloadAdapter extends ReloadAdapter {

After Change



  public void disposeComponent() {
    myClassLoaderManager.removeReloadHandler(myReloadListener);
    if (myMakeService != null) {
      myMakeService.removeListener(myMakeListener);
      this.myMakeService = null;
    }
  }